Longstanding Agency Interpretations

The Strategic Substitution Effect: Textual Plausibility, Procedural Formality, and Judicial Review of Agency Statutory Interpretations

Longstanding Endobronchial Foreign Body

There are many circumstances in which the diagnosis of endobronchial inhalation of a foreign body (FB) can be missed. Generally, in such cases, within weeks or at most months from the event, clinical bronchopulmonary symptoms develop which allow a correct diagnosis to be made and significant complications to be avoided. We report the case of a patient in whom an endobronchial FB remained undiag...

Refutation of Sallé's Longstanding Conjecture

The ⁄-calculus possesses a strong notion of extensionality, called “the Ê-rule”, which has been the subject of many investigations. It is a longstanding open problem whether the equivalence obtained by closing the theory of Böhm trees under the Ê-rule is strictly included in Morris’s original observational theory, as conjectured by Sallé in the seventies. In a recent work, Breuvart et al. have ...

Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered

Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e. the C-semantics, and the S-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the S-semanti...

Monotone interpretations

The domain of computation of an program 〈X , C,F ,R〉 is the constructor algebra T (C). A substitution σ is a mapping from variables to terms and a ground substitution is one which ranges over constructor terms of T (C). Observe that constructor terms are normal forms for the program. For each function symbol f ∈ F , the program 〈X , C,F ,R〉 computes a partial function JfK : T (C) → T (C) define...